#
# CS259 Homework 1
#
# This is a Makefile for the Murphi model of the NS(L) protocol.
#

MURPHI = /Users/avencar/Documents/Murphi3.1/src/mu 
MOPTS  = -b

CXX = g++ -DCATCH_DIV -fno-default-inline -Wno-deprecated
INCLUDE = /Users/avencar/Documents/Murphi3.1/include/

proj3: proj3.C
	${CXX} -I${INCLUDE} proj3.C -o proj3 -lm

proj3.C: proj3.m
	${MURPHI} ${MOPTS} proj3.m

clean:
	rm -f proj3 proj3.C

